Software Engineering
Country:
- North America > United States > California > San Francisco County > San Francisco (0.28)
- Asia > Singapore (0.04)
- Asia > Indonesia > Bali (0.04)
- (17 more...)
Technology:
- Information Technology > Software > Programming Languages (1.00)
- Information Technology > Software Engineering (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning (1.00)
- (3 more...)
Country:
- North America > United States > Florida > Pinellas County > St. Petersburg (0.04)
- North America > United States > California > Santa Barbara County > Santa Barbara (0.04)
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- (4 more...)
Technology:
- Information Technology > Software Engineering (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning (1.00)
- Information Technology > Artificial Intelligence > Natural Language > Large Language Model (1.00)
- (2 more...)
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
We collect 312 programs from various sources, including daily programs from college homework, the international competition (SV -COMP), benchmarks from previous papers (SLING), and programs from real-world software systems (Linux Kernel, GlibC, LiteOS, and Zephyr).
Country:
- North America > United States > Florida > Pinellas County > St. Petersburg (0.04)
- North America > United States > California > Santa Barbara County > Santa Barbara (0.04)
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- (5 more...)
Genre:
- Research Report > New Finding (0.46)
- Instructional Material > Course Syllabus & Notes (0.46)
Technology:
- Information Technology > Software Engineering (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning (1.00)
- Information Technology > Artificial Intelligence > Natural Language > Large Language Model (1.00)
- (2 more...)
Relational Verification Leaps Forward with RABBit
Code is at this URL.
Country:
- North America > United States > California > Los Angeles County > Los Angeles (0.14)
- North America > United States > Massachusetts > Suffolk County > Boston (0.04)
- North America > United States > Illinois > Champaign County > Urbana (0.04)
- Europe > Austria (0.04)
Technology:
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks > Deep Learning (0.68)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (0.68)
- Information Technology > Software Engineering (0.68)
- Information Technology > Security & Privacy (0.67)
Country:
- North America > United States (0.45)
- Europe > United Kingdom > England > Greater London > London (0.04)
Genre:
- Research Report > New Finding (1.00)
- Research Report > Experimental Study (1.00)
Industry:
- Health & Medicine > Therapeutic Area > Oncology (1.00)
- Health & Medicine > Nuclear Medicine (1.00)
Technology:
- Information Technology > Artificial Intelligence > Machine Learning (1.00)
- Information Technology > Software Engineering (0.68)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (0.49)
Country:
- North America > United States > Massachusetts > Suffolk County > Boston (0.04)
- Asia > Myanmar > Tanintharyi Region > Dawei (0.04)
Technology:
Country:
- North America > Canada > Ontario > Toronto (0.14)
- North America > United States > South Dakota > Minnehaha County > Sioux Falls (0.04)
- Europe > Netherlands > South Holland > Delft (0.04)
- (4 more...)
Industry:
- Energy (0.93)
- Information Technology (0.67)
- Transportation > Infrastructure & Services (0.46)
Technology:
Technology:
- Information Technology > Software Engineering (1.00)
- Information Technology > Artificial Intelligence > Natural Language > Large Language Model (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (0.68)
- (2 more...)
Industry:
- Education (0.92)
- Information Technology (0.67)
Technology:
- Information Technology > Software Engineering (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning (1.00)
- Information Technology > Artificial Intelligence > Natural Language > Large Language Model (1.00)
- (3 more...)
Country:
- Europe > United Kingdom (0.04)
- Asia > Middle East > UAE > Abu Dhabi Emirate > Abu Dhabi (0.04)
- North America > United States > Hawaii (0.04)
- (2 more...)
Industry:
- Information Technology > Security & Privacy (1.00)
- Education (1.00)
- Government > Military (0.95)
- Government > Regional Government > North America Government > United States Government (0.46)
Technology:
- Information Technology > Software > Programming Languages (1.00)
- Information Technology > Software Engineering (1.00)
- Information Technology > Security & Privacy (1.00)
- (5 more...)